Component(${\it ds}$;${\it da}$;$A$;$B$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Interface(${\it ds}$;${\it da}$;$A$)$\rightarrow$(:RealizerScheme\{i:l\}() $\times$ Interface(${\it ds}$;${\it da}$;$B$))